complete Riemannian metric

[数] 完备黎曼度量的